Logic for physical space
نویسندگان
چکیده
منابع مشابه
Logic for physical space - From antiquity to present days
Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this ...
متن کاملan application of fuzzy logic for car insurance underwriting
در ایران بیمه خودرو سهم بزرگی در صنعت بیمه دارد. تعیین حق بیمه مناسب و عادلانه نیازمند طبقه بندی خریداران بیمه نامه براساس خطرات احتمالی آنها است. عوامل ریسکی فراوانی می تواند بر این قیمت گذاری تاثیر بگذارد. طبقه بندی و تعیین میزان تاثیر گذاری هر عامل ریسکی بر قیمت گذاری بیمه خودرو پیچیدگی خاصی دارد. در این پایان نامه سعی در ارائه راهی جدید برای طبقه بندی عوامل ریسکی با استفاده از اصول و روش ها...
Logic & Proofs for Cyber-Physical Systems
Cyber-physical systems (CPS) combine cyber aspects such as communication and computer control with physical aspects such as movement in space, which arise frequently in many safety-critical application domains, including aviation, automotive, railway, and robotics. But how can we ensure that these systems are guaranteed to meet their design goals, e.g., that an aircraft will not crash into anot...
متن کاملPhysical Factors Affecting the Optimization of the Work Space for Women
Optimizing suitable work spaces for women is an important issue that should be considered in the study of women's lives. Due to their physical structure and their social function, workspaces are one of the most important issues for strengthening society. The presence of women in society and in the workplaces and their participation in social affairs involves the creation of a developed society....
متن کاملin Subset Space Logic
To my father who taught me that " M9ntıq elmlerin elmidir " and to my mother with the deepest gratitude...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2011
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-011-9913-9